$\forall$$r$:Rng, $a$, $b$:$\mid$$r$$\mid$, $n$:$\mathbb{N}$. ($a$ $\ast$ ($n$ $\cdot$$r$ $b$)) $=$ ($n$ $\cdot$$r$ ($a$ $\ast$ $b$)) $\in$ $\mid$$r$$\mid$